Proceedings of the Workshop on Logics for Resource - Bounded Agents organised as part of the 18 th European Summer School on Logic , Language and Information ( ESSLLI ) , August 2006 , Malaga , Spain
نویسنده
چکیده
Developments in reasoning about knowledge have picked up pace since the fundamental work of Jaakko Hintikka [4] and David Lewis [5]. A great deal of purely technical work has since come out of IBM [3], CUNY [7-13], Indiana, Amsterdam, and other places. However, some philosophical issues like the justification of knowledge go back to Plato and have recently received impetus since the work of Gettier, resulting in much activity in empistemology. Issues about belief go back at least to Frege, and the nature of belief is another active area. Finally, starting with Aumann’s work [1], there has been much activity in Game theory which is related to the issues of knowledge and common knowledge. We will try to give a bird’s eye view of some of these developments, and also say something about what it is that we know or believe, whether it is sentences or propositions; and if the latter, what they are. This will give us some insight into the thorny problem of logical omniscience. Ultimately our (somewhat Wittgensteinian) view is that these notions like belief, knowledge, and common knowledge must be firmly grounded in human activity, both at the personal level (where notions like (subjective) probability, or the maximization of utility arise) and at the group level where issues of common knowledge, co-ordination, levels of knowledge, and judgment aggregation [6] arise.
منابع مشابه
Resource Logics and Minimalist Grammars
This ESSLLI workshop is devoted to connecting the linguistic use of resource logics and categorial grammar to minimalist grammars and related generative grammars. Minimalist grammars are relatively recent, and although they stem from a long tradition of work in transformational grammar, they are largely informal apart from a few research papers. The study of resource logic, on the other hand, i...
متن کاملLogics for Topological Reasoning ESSLLI Summer School August 2000 University of Birmingham, UK
4 The Modal Logic S4 7 4.1 Kripke Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4.2 Modal Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4.3 Algebraic Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4.4 Power-Set Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.5 Mappi...
متن کاملA Reading Companion to the ESSLLI Course "Logics for Agency and Multi-Agent Systems"
This paper is a reading companion to our introductory ESSLLI course on "Logics for Agency and Multi-Agent Systems". Proofs are omitted. This reader's aim is mostly to structure the material that will be presented at the course, and to point the attendees of the course to the relevant literature.
متن کاملNonmonotonic logics—recent advances
The ESSLLI course material has been compiled by Mirek Truszczynski. Unless otherwise mentioned, the copyright lies with the individual authors of the material. Mirek Truszczynski declares that he has obtained all necessary permissions for the distribution of this material. ESSLLI 2008 and its organizers take no legal responsibility for the contents of this booklet.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006